Andreas Kuehlmann: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 34th annual conference - Anaheim, California, United States (1997.06.09-1997.06.13)] Proceedings of the 34th annual conference on Design automation conference - DAC '97 - Equivalence checking using cuts and heaps

Kuehlmann, Andreas, Krohm, Florian

Year:

1997

Language:

english

File:

PDF, 224 KB

english, 1997

2

[ACM Press the 47th Design Automation Conference - Anaheim, California (2010.06.13-2010.06.18)] Proceedings of the 47th Design Automation Conference on - DAC '10 - Does IC design have a future in the clouds?

Kuehlmann, Andreas, Camposano, Raul, Colgan, James, Chilton, John, George, Samuel, Griffith, Rean, Leventis, Paul, Singh, Deepak

Year:

2010

Language:

english

File:

PDF, 31 KB

english, 2010

3

Model Checking Semi-Continuous Time Models Using BDDs

Sérgio Campos, Márcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund Clarke

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 628 KB

english, 2001

4

SIVA: A System for Coverage-Directed State Space Search

Malay Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal

Journal:

Journal of Electronic Testing

Year:

2001

Language:

english

File:

PDF, 164 KB

english, 2001

5

The Best of ICCAD || Verification of Large Synthesized Designs

Kuehlmann, Andreas

Year:

2003

Language:

english

File:

PDF, 1001 KB

english, 2003

6

The Best of ICCAD || Modeling the Driving-Point Characteristic of Resistive Interconnect for Accurate Delay Estimation

Kuehlmann, Andreas

Year:

2003

Language:

english

File:

PDF, 952 KB

english, 2003

7

[IEEE 2007 IEEE/ACM International Conference on Computer-Aided Design - San Jose, CA, USA (2007.11.4-2007.11.8)] 2007 IEEE/ACM International Conference on Computer-Aided Design - Stimulus generation for constrained random simulation

Kitchen, Nathan, Kuehlmann, Andreas

Year:

2007

Language:

english

File:

PDF, 577 KB

english, 2007

8

[IEEE 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Singapore (2014.01.20-2014.01.23)] 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Property Directed Reachability for QF_BV with mixed type atomic reasoning units

Welp, Tobias, Kuehlmann, Andreas

Year:

2014

Language:

english

File:

PDF, 178 KB

english, 2014

9

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Property directed invariant refinement for program verification

Welp, Tobias, Kuehlmann, Andreas

Year:

2014

Language:

english

File:

PDF, 144 KB

english, 2014

10

[IEEE 2007 7th International Conference on ASIC - Guilin, China (2007.10.22-2007.10.25)] 2007 7th International Conference on ASIC - K-3 The challenge of design flow integration and its impact on complex system design

Kuehlmann, Andreas

Year:

2007

Language:

english

File:

PDF, 39 KB

english, 2007

11

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - QF_BV Model Checking with Property Directed Reachability

Welp, Tobias, Kuehlmann, Andreas

Year:

2013

Language:

english

File:

PDF, 152 KB

english, 2013

12

The Best of ICCAD || A Method for Concurrent Decomposition and Factorization of Boolean Expressions

Kuehlmann, Andreas

Year:

2003

Language:

english

File:

PDF, 1.07 MB

english, 2003

13

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - Error diagnosis for transistor-level verification

Kuehlmann, Andreas, Cheng, David I., Srinivasan, Arvind, LaPotin, David P.

Year:

1994

Language:

english

File:

PDF, 260 KB

english, 1994

14

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Are logic synthesis tools robust?

Puggelli, Alberto, Welp, Tobias, Kuehlmann, Andreas, Sangiovanni-Vincentelli, Alberto

Year:

2011

Language:

english

File:

PDF, 1.00 MB

english, 2011

15

[ACM Press the 45th annual conference - Anaheim, California (2008.06.08-2008.06.13)] Proceedings of the 45th annual conference on Design automation - DAC '08 - Verifying really complex systems

Kuehlmann, Andreas, Bose, Anjan, Corman, David E., Rutenbar, Rob A., Manning, Robert M., Newman, Anna

Year:

2008

Language:

english

File:

PDF, 143 KB

english, 2008

16

[ACM Press the 45th annual conference - Anaheim, California (2008.06.08-2008.06.13)] Proceedings of the 45th annual conference on Design automation - DAC '08 - Next generation wireless-multimedia devices

Rey, Juan C., Kuehlmann, Andreas, Rabaey, Jan, Conroy, Cormac, Vucurevich, Ted, Kawasaki, Ikuya, Tarim, Tuna B.

Year:

2008

Language:

english

File:

PDF, 155 KB

english, 2008

17

[ACM Press the 46th Annual Design Automation Conference - San Francisco, California (2009.07.26-2009.07.31)] Proceedings of the 46th Annual Design Automation Conference on ZZZ - DAC '09 - Guess, solder, measure, repeat

Ying, Geoffrey, Kuehlmann, Andreas, Kundert, Ken, Gielen, George, Grimme, Eric, O'Leary, Martin, Tare, Sandeep, Wong, Warren

Year:

2009

Language:

english

File:

PDF, 54 KB

english, 2009

18

[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - Generalized SAT-sweeping for post-mapping optimization

Welp, Tobias, Krishnaswamy, Smita, Kuehlmann, Andreas

Year:

2012

Language:

english

File:

PDF, 679 KB

english, 2012

19

[ACM Press the 8th ACM/IEEE international workshop - Monterey, California, USA (2002.12.02-2002.12.03)] Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems - TAU '02 - Minimum-power retiming for dual-supply CMOS circuits

Sheikh, Farhana, Kuehlmann, Andreas, Keutzer, Kurt

Year:

2002

Language:

english

File:

PDF, 137 KB

english, 2002

20

[ACM Press the 44th annual conference - San Diego, California (2007.06.04-2007.06.08)] Proceedings of the 44th annual conference on Design automation - DAC '07 - On resolution proofs for combinational equivalence

Chatterjee, Satrajit, Mishchenko, Alan, Brayton, Robert, Kuehlmann, Andreas

Year:

2007

Language:

english

File:

PDF, 212 KB

english, 2007

21

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - A fast pseudo-boolean constraint solver

Chai, Donald, Kuehlmann, Andreas

Year:

2003

Language:

english

File:

PDF, 81 KB

english, 2003

22

[ACM Press the 2005 international symposium - San Francisco, California, USA (2005.04.03-2005.04.06)] Proceedings of the 2005 international symposium on physical design - ISPD '05 - Early research experience with OpenAccess gear

Xiu, Zhong, Papa, David A., Chong, Philip, Albrecht, Christoph, Kuehlmann, Andreas, Rutenbar, Rob A., Markov, Igor L.

Year:

2005

Language:

english

File:

PDF, 289 KB

english, 2005

23

[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - Enhancing simulation with BDDs and ATPG

Ganai, Malay K., Aziz, Adnan, Kuehlmann, Andreas

Year:

1999

Language:

english

File:

PDF, 777 KB

english, 1999

24

[ACM Press the 38th conference - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 38th conference on Design automation - DAC '01 - Circuit-based Boolean Reasoning

Kuehlmann, Andreas, Ganai, Malay K., Paruthi, Viresh

Year:

2001

Language:

english

File:

PDF, 143 KB

english, 2001

25

[ACM Press the 43rd annual conference - San Francisco, CA, USA (2006.07.24-2006.07.28)] Proceedings of the 43rd annual conference on Design automation - DAC '06 - SAT sweeping with local observability don't-cares

Zhu, Qi, Kitchen, Nathan, Kuehlmann, Andreas, Sangiovanni-Vincentelli, Alberto

Year:

2006

Language:

english

File:

PDF, 700 KB

english, 2006

26

[ACM Press the 2005 conference - Shanghai, China (2005.01.18-2005.01.21)] Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05 - Logic optimization using rule-based randomized search

Färm, Petra, Dubrova, Elena, Kuehlmann, Andreas

Year:

2005

Language:

english

File:

PDF, 370 KB

english, 2005

27

[ACM Press the 21st edition of the great lakes symposium - Lausanne, Switzerland (2011.05.02-2011.05.04)] Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI - GLSVLSI '11 - Integrated logic synthesis using simulated annealing

Färm, Petra, Dubrova, Elena, Kuehlmann, Andreas

Year:

2011

Language:

english

File:

PDF, 373 KB

english, 2011

28

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - More Moore: Foolish, feasible, or fundamentally different?

Kuehlmann, Andreas, Aitken, Rob, Bautista, Jerry, Maly, Wojceich, Rabaey, Jan

Year:

2008

Language:

english

File:

PDF, 125 KB

english, 2008

29

[IEEE 2017 IEEE Cybersecurity Development (SecDev) - Cambridge, MA, USA (2017.9.24-2017.9.26)] 2017 IEEE Cybersecurity Development (SecDev) - Panel: Building a Business around Secure Development

Carlsten, Nadia, Sturtevant, Reed, Wysopal, Chris, Kuehlmann, Andreas, Cunningham, Robert

Year:

2017

Language:

english

File:

PDF, 100 KB

english, 2017